Hardware virtualization support for Afterburner/L4
نویسنده
چکیده
Full virtualization of the IA32 architecture can be achieved using hardware support. The L4 microkernel has been extended with mechanisms to leverage Intel’s VT-x technology. This work proposes a user level virtual machine monitor that complements L4’s virtualization extensions and realizes microkernel-based full virtualization of arbitrary operating systems. A prototype implementation within the Afterburner framework demonstrates the approach by successfully booting a current Linux kernel.
منابع مشابه
L4 – Virtualization and Beyond
After being introduced by IBM in the 1960s, virtualization has experienced a renaissance in recent years. It has become a major industry trend in the server context and is also popular on consumer desktops. In addition to the well-known benefits of server consolidation and legacy preservation, virtualization is now considered in embedded systems. In this paper, we want to look beyond the term t...
متن کاملPerformance Evaluation of Para-virtualization on Modern Mobile Phone Platform
Emergence of smartphones brings to live the concept of converged devices with the availability of web amenities. Such trend also challenges the mobile devices manufactures and service providers in many aspects, such as security on mobile phones, complex and long time design flow, as well as higher development cost. Among these aspects, security on mobile phones is getting more and more attentio...
متن کاملA Cache Timing Attack on AES in Virtualization Environments
We show in this paper that the isolation characteristic of system virtualization can be bypassed by the use of a cache timing attack. Using Bernstein’s correlation in this attack, an adversary is able to extract sensitive keying material from an isolated trusted execution domain. We demonstrate this cache timing attack on an embedded ARMbased platform running an L4 microkernel as virtualization...
متن کاملHardware Virtualization Support In INTEL, AMD And IBM Power Processors
At present, the mostly used and developed mechanism is hardware virtualization which provides a common platform to run multiple operating systems and applications in independent partitions. More precisely, it is all about resource virtualization as the term ‘hardware virtualization’ is emphasized. In this paper, the aim is to find out the advantages and limitations of current virtualization tec...
متن کاملIntel Virtualization Technology: Hardware Support for Efficient Processor Virtualization
Virtualizing the physical resources of a computing system to improve sharing and utilization has been done for decades. Virtualization had once been confined to specialized server and mainframe systems, but improvements in the performance of platforms based on Intel technology now allow those platforms to efficiently support virtualization. However, the IA-32 and Itanium processor architectures...
متن کامل